Service composition in stochastic settings

With the growth of the Internet-of-Things and online Web services, more services with more capabilities are available to us. The ability to generate new, more useful services from existing ones has been the focus of much research for over a decade. The goal is, given a specification of the behavior of the target service, to build a controller, known as an orchestrator, that uses existing services to satisfy the requirements of the target service. The model of services and requirements used in most work is that of a finite state machine. This implies that the specification can either be satisfied or not, with no middle ground. This is a major drawback, since often an exact solution cannot be obtained. In this paper we study a simple stochastic model for service composition: we annotate the tar- get service with probabilities describing the likelihood of requesting each action in a state, and rewards for being able to execute actions. We show how to solve the resulting problem by solving a certain Markov Decision Process (MDP) derived from the service and requirement specifications. The solution to this MDP induces an orchestrator that coincides with the exact solution if a composition exists. Otherwise it provides an approximate solution that maximizes the expected sum of values of user requests that can be serviced. The model studied although simple shades light on composition in stochastic settings and indeed we discuss several possible extensions

A framework for explaining query answers in dl-lite

An Ontology-based Data Access system is constituted by an ontology, namely a description of the concepts and the relations in a domain of interest, a database storing facts about the domain, and a mapping between the data and the ontology. In this paper, we consider ontologies expressed in the popular DL-Lite family of Description Logic, and we address the problem of computing explanations for answers to queries in an OBDA system, where queries are either positive, in particular conjunctive queries, or negative, i.e., negation of conjunctive queries. We provide the following contributions: (i) we propose a formal, comprehensive framework of explaining query answers in OBDA systems based on DL-Lite; (ii) we present an algorithm that, given a tuple returned as an answer to a positive query, and given a weighting function, examines all the explanations of the answer, and chooses the best explanation according to such function; (iii) we do the same for the answers to negative queries. Notably, on the way to get the latter result, we present what appears to be the first algorithm that computes the answers to negative queries in DL-Lite

Proof-carrying plans

It is becoming increasingly important to verify safety and security of AI applications. While declarative languages (of the kind found in automated planners and model checkers) are traditionally used for verifying AI systems, a big challenge is to design methods that generate verified executable programs. A good example of such a “verification to implementation” cycle is given by automated planning languages like PDDL, where plans are found via a model search in a declarative language, but then interpreted or compiled into executable code in an imperative language. In this paper, we show that this method can itself be verified. We present a formal framework and a prototype Agda implementation that represent PDDL plans as executable functions that inhabit types that are given by formulae describing planning problems. By exploiting the well-known Curry-Howard correspondence, type-checking then automatically ensures that the generated program corresponds precisely to the specification of the planning problem.Postprin

Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains

The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence (AI). The deduction camp concerns itself with questions about the expressiveness of formal languages for capturing knowledge about the world, together with proof systems for reasoning from such knowledge bases. The learning camp attempts to generalize from examples about partial descriptions about the world. In AI, historically, these camps have loosely divided the development of the field, but advances in cross-over areas such as statistical relational learning, neuro-symbolic systems, and high-level control have illustrated that the dichotomy is not very constructive, and perhaps even ill-formed. In this article, we survey work that provides further evidence for the connections between logic and learning. Our narrative is structured in terms of three strands: logic versus learning, machine learning for logic, and logic for machine learning, but naturally, there is considerable overlap. We place an emphasis on the following "sore" point: there is a common misconception that logic is for discrete properties, whereas probability theory and machine learning, more generally, is for continuous properties. We report on results that challenge this view on the limitations of logic, and expose the role that logic can play for learning in infinite domains

Integrating acute stroke telemedicine consultations into specialists' usual practice: a qualitative analysis comparing the experience of Australia and the United Kingdom

Stroke telemedicine can reduce healthcare inequities by increasing access to specialists. Successful telemedicine networks require specialists adapting clinical practice to provide remote consultations. Variation in experiences of specialists between different countries is unknown. To support future implementation, we compared perceptions of Australian and United Kingdom specialists providing remote acute stroke consultations. Specialist participants were identified using purposive sampling from two new services: Australia's Victorian Stroke Telemedicine Program (n = 6; 2010-13) and the United Kingdom's Cumbria and Lancashire telestroke network (n = 5; 2010-2012). Semi-structured interviews were conducted pre- and post-implementation, recorded and transcribed verbatim. Deductive thematic and content analysis (NVivo) was undertaken by two independent coders using Normalisation Process Theory to explore integration of telemedicine into practice. Agreement between coders was M = 91%, SD = 9 and weighted average κ = 0.70. Cross-cultural similarities and differences were found. In both countries, specialists described old and new consulting practices, the purpose and value of telemedicine systems, and concerns regarding confidence in the assessment and diagnostic skills of unknown colleagues requesting telemedicine support. Australian specialists discussed how remote consultations impacted on usual roles and suggested future improvements, while United Kingdom specialists discussed system governance, policy and procedures. Australian and United Kingdom specialists reported telemedicine required changes in work practice and development of new skills. Both groups described potential for improvements in stroke telemedicine systems with Australian specialists more focused on role change and the United Kingdom on system governance issues. Future research should examine if cross-cultural variation reflects different models of care and extends to other networks

A single molecule assay to probe monovalent and multivalent bonds between hyaluronan and its key leukocyte receptor CD44 under force

Glycosaminoglycans (GAGs), a category of linear, anionic polysaccharides, are ubiquitous in the extracellular space, and important extrinsic regulators of cell function. Despite the recognized significance of mechanical stimuli in cellular communication, however, only few single molecule methods are currently available to study how monovalent and multivalent GAG•protein bonds respond to directed mechanical forces. Here, we have devised such a method, by combining purpose-designed surfaces that afford immobilization of GAGs and receptors at controlled nanoscale organizations with single molecule force spectroscopy (SMFS). We apply the method to study the interaction of the GAG polymer hyaluronan (HA) with CD44, its receptor in vascular endothelium. Individual bonds between HA and CD44 are remarkably resistant to rupture under force in comparison to their low binding affinity. Multiple bonds along a single HA chain rupture sequentially and independently under load. We also demonstrate how strong non-covalent bonds, which are versatile for controlled protein and GAG immobilization, can be effectively used as molecular anchors in SMFS. We thus establish a versatile method for analyzing the nanomechanics of GAG•protein interactions at the level of single GAG chains, which provides new molecular-level insight into the role of mechanical forces in the assembly and function of GAG-rich extracellular matrices

Distribution of GABAergic Interneurons and Dopaminergic Cells in the Functional Territories of the Human Striatum

BACKGROUND: The afferent projections of the striatum (caudate nucleus and putamen) are segregated in three territories: associative, sensorimotor and limbic. Striatal interneurons are in part responsible for the integration of these different types of information. Among them, GABAergic interneurons are the most abundant, and can be sorted in three populations according to their content in the calcium binding proteins calretinin (CR), parvalbumin (PV) and calbindin (CB). Conversely, striatal dopaminergic cells (whose role as interneurons is still unclear) are scarce. This study aims to analyze the interneuron distribution in the striatal functional territories, as well as their organization regarding to the striosomal compartment. METHODOLOGY/PRINCIPAL FINDINGS: We used immunohistochemical methods to visualize CR, PV, CB and tyrosine hydroxylase (TH) positive striatal neurons. The interneuronal distribution was assessed by stereological methods applied to every striatal functional territory. Considering the four cell groups altogether, their density was higher in the associative (2120±91 cells/mm(3)) than in the sensorimotor (959±47 cells/mm(3)) or limbic (633±119 cells/mm(3)) territories. CB- and TH-immunoreactive(-ir) cells were distributed rather homogeneously in the three striatal territories. However, the density of CR and PV interneurons were more abundant in the associative and sensorimotor striatum, respectively. Regarding to their compartmental organization, CR-ir interneurons were frequently found in the border between compartments in the associative and sensorimotor territories, and CB-ir interneurons abounded at the striosome/matrix border in the sensorimotor domain. CONCLUSIONS/SIGNIFICANCE: The present study demonstrates that the architecture of the human striatum in terms of its interneuron composition varies in its three functional territories. Furthermore, our data highlight the importance of CR-ir striatal interneurons in the integration of associative information, and the selective role of PV-ir interneurons in the motor territory. On the other hand, the low density of dopaminergic cells casts doubts about their role in the normal human striatum

Elevated Non-Esterified Fatty Acid Concentrations during Bovine Oocyte Maturation Compromise Early Embryo Physiology

Elevated concentrations of serum non-esterified fatty acids (NEFA), associated with maternal disorders such as obesity and type II diabetes, alter the ovarian follicular micro-environment and have been associated with subfertility arising from reduced oocyte developmental competence. We have asked whether elevated NEFA concentrations during oocyte maturation affect the development and physiology of zygotes formed from such oocytes, using the cow as a model. The zygotes were grown to blastocysts, which were evaluated for their quality in terms of cell number, apoptosis, expression of key genes, amino acid turnover and oxidative metabolism. Oocyte maturation under elevated NEFA concentrations resulted in blastocysts with significantly lower cell number, increased apoptotic cell ratio and altered mRNA abundance of DNMT3A, IGF2R and SLC2A1. In addition, the blastocysts displayed reduced oxygen, pyruvate and glucose consumption, up-regulated lactate consumption and higher amino acid metabolism. These data indicate that exposure of maturing oocytes to elevated NEFA concentrations has a negative impact on fertility not only through a reduction in oocyte developmental capacity but through compromised early embryo quality, viability and metabolism